CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC
نویسندگان
چکیده
Abstract We prove that the existence of a measurable cardinal is equivalent to normal space whose modal logic coincides with Kripke frame isomorphic powerset two element set.
منابع مشابه
Ultrafilters over a Measurable Cardinal
The extensive theory that exists on ~ca, the set of uitrafilters ov-.r the integers, suggests an analogous study of the family of g-complete ultrafih~rs over a measurable cardinal g > w. This paper is devoted to such a study, with emphasis on those aspects which make the uncountable case interesting and distinctive. Section 1 is a preliminary section, recapitulating some knov, n concepts and re...
متن کاملFull Reflection at a Measurable Cardinal
A stationary subset S of a regular uncountable cardinal re ects fully at regular cardinals if for every stationary set T of higher order consisting of regular cardinals there exists an 2 T such that S \ is a stationary subset of . Full Re ection states that every stationary set re ects fully at regular cardinals. We will prove that under a slightly weaker assumption than having Mitchell order +...
متن کاملA Structural Property on Modal Frames Characterizing Default Logic
Spatial reasoning is essential for many AI applications. In most existing systems the representation is primarily numerical, so the information that can be handled is limited to precise quantitative data. However, for many purposes the ability to manipulate high-level qualitative spatial information in a exible way would be extremely useful. Such capabilities can be proveded by logical calculi;...
متن کاملSome constructions of ultrafilters over a measurable cardinal
Some non-normal κ−complete ultrafilters over a measurable κ with special properties are constructed. Questions by A. Kanamori [4] about infinite Rudin-Frolik sequences, discreteness and products are answered.
متن کاملA minimal Prikry-type forcing for singularizing a measurable cardinal
Recently, Gitik, Kanovei and the first author proved that for a classical Prikry forcing extension the family of the intermediate models can be parametrized by Pp!q{finite. By modifying the standard Prikry tree forcing we define a Prikry-type forcing which also singularizes a measurable cardinal but which is minimal, i.e. there are no intermediate models properly between the ground model and th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Logic
سال: 2021
ISSN: ['1943-5886', '0022-4812']
DOI: https://doi.org/10.1017/jsl.2021.5